Auto merge of #1261 - alexcrichton:issue-1259, r=wycats
authorbors <bors@rust-lang.org>
Wed, 4 Feb 2015 23:00:30 +0000 (23:00 +0000)
committerbors <bors@rust-lang.org>
Wed, 4 Feb 2015 23:00:30 +0000 (23:00 +0000)
Previously if a fingerprint was considered fresh based on mtime, it would not
get updated once a compilation finished with the new precise fingerprint (it
would use the older fingerprint). This alters the `resolve` method to take a
flag which disables this behavior and forces looking at the filesystem for a
fingerprint.

Closes #1259


Trivial merge